Destructive Modal Resolution
نویسنده
چکیده
We present non-clausal resolution systems for propositional modal logics whose Kripke models do not involve symmetry, and for first order versions whose Kripke models do not involve constant domains. We give systems for K, T , K4 and S4; other logics are also possible. Our systems do not require preliminary reduction to a normal form and, in the first order case, intermingle resolution steps with Skolemization steps.
منابع مشابه
Damage detection of skeletal structures using particle swarm optimizer with passive congregation (PSOPC) algorithm via incomplete modal data
This paper uses a PSOPC model based non-destructive damage identification procedure using frequency and modal data. The objective function formulation for the minimization problem is based on the frequency changes. The method is demonstrated by using a cantilever beam, four-bay plane truss and two-bay two-story plane frame with different scenarios. In this study, the modal data are provided nume...
متن کاملExperimental and Numerical Free Vibration Analysis of Hybrid Stiffened Fiber Metal Laminated Circular Cylindrical Shell
The modal testing has proven to be an effective and non-destructive test method for estimation of the dynamic stiffness and damping constant. The aim of the present paper is to investigate the modal response of stiffened Fiber Metal Laminated (FML) circular cylindrical shells using experimental and numerical techniques. For this purpose, three types of FML-stiffened shells are fabricated by a s...
متن کاملQuantitative voxel-to-voxel comparison of TriBeam and DCT strontium titanate three-dimensional data sets
Recently, techniques for the acquisition of three-dimensional tomographic and four-dimensional time-resolved data sets have emerged, allowing for the analysis of mm volumes of material with nm-scale resolution. The ability to merge multi-modal data sets acquired via multiple techniques for the quantitative analysis of structure, chemistry and phase information is still a significant challenge. ...
متن کاملModelling the influence of cracking and healing on modal properties of concrete beams
Concrete structures are commonly cracked when in service. To overcome issues arising from cracking, self-healing concrete is being developed. Together with the development of the material, techniques to verify and quantify self-healing are being developed. A number of destructive techniques have been used in the past. It would be beneficial to use non-destructive testing for continuous monitori...
متن کاملA Modal-Layered Resolution Calculus for K
Resolution-based provers for multimodal normal logics require pruning of the search space for a proof in order to deal with the inherent intractability of the satisfiability problem for such logics. We present a clausal modal-layered hyper-resolution calculus for the basic multimodal logic, which divides the clause set according to the modal depth at which clauses occur. We show that the calcul...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Comput.
دوره 1 شماره
صفحات -
تاریخ انتشار 1990